1. An invitation to applied category theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.

رده :
QA9
.
25
.
F66
2019

2. An invitation to applied category theory :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;

3. Purity, spectra and localisation

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
9
.
P74P8

4. Purity, spectra and localisation /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Mathematics),Logic, Symbolic and mathematical

رده :
QA150
.
P74
2009

5. Sets, logic and categories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1999

6. Sets, logic, and categories

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1999

7. Sets, logic, and categories

پدیدآورنده :

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

8. Sets, logic and categories

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C25S4

9. Sets, logic, and categories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C17
1998

10. Sets, logic, and categories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(

رده :
QA
248
.
C3S4

11. The age of alternative logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory

رده :
BC135
.
A39
2006

12. The age of alternative logics : assessing philosophy of logic and mathematics today

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A35

13. The age of alternative logics: assessing philosophy of logic and mathematics today

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A39
2006

14. Toposes, Algebraic geometry and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
no
.
274

15. Toposes, algebraic geometry and logic

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes

رده :
QA
169
.
T6
1972

16. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes

رده :
QA
3
.
L28
Vol
.
274